(a, a) => 1